Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
321	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
322	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
323	Microsoft PowerPoint - Lect-interpv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-23 09:14:19 Lambda calculus Functional programming Control flow Eval Data types Scheme Anonymous function Apply Standard ML
324	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
325	Editors Michael Cunliffe Oliver Wurl Guide to best practices to study Add to Reading List Source URL: solas-int.org Language: English - Date: 2014-09-22 05:09:02 Marine biology Sea surface microlayer Surface science Functional languages Procedural programming languages ML GEOMAR Helmholtz Centre for Ocean Research Kiel
326	Written Examination, May 29th, 2015 Course noThe duration of the examination is 4 hours. Course Name: Functional programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2015-05-21 05:34:09 Academic transfer Computability theory Recursion Subroutines Theoretical computer science Grading systems by country
327	Architecture Manual CLIPS Version 5.1 January 6th 1992 CLIPS Architecture Manual Version 5.1 January 6th 1992 Add to Reading List Source URL: clipsrules.sourceforge.net Language: English - Date: 2008-03-08 23:11:38 Programming paradigms Functional languages Object-oriented programming languages Procedural programming languages Cross-platform software Common Lisp CLIPS Lisp Perl module Scripting language Object-oriented programming Modular programming
328	ML pattern match compilation and partial evaluation? Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Procedural programming languages Programming language comparisons Method Functional programming Term Pattern matching Constructor Standard ML ML JavaScript Map
329	Behavioral Reactivity and Real Time Programming in XML Functional Programming meets SMIL Animation Patrick Schmitz Simon Thompson Add to Reading List Source URL: www.ludicrum.org Language: English - Date: 2004-10-26 03:04:07 Markup languages Functional languages Computer file formats Technical communication Synchronized Multimedia Integration Language Query languages XHTML+SMIL Declarative programming Programming language JavaScript XPath Domain-specific language
330	What Are Macros Good For? Eugene Burmako ´ Ecole Polytechnique F´ ed´ Add to Reading List Source URL: scalamacros.org Language: English - Date: 2016-08-18 07:56:24 Object-oriented programming languages Functional languages Macro Source code Scala Constant

UPDATE